Revision: tla-tools--devo--0--patch-17
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Mon Jan 26 14:34:14 JST 2004
Standard-date: 2004-01-26 05:34:14 GMT
Modified-files: configure hdr.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-17
Summary: Tweak configure script

